反解法在再入机动弹道设计中的应用研究

简要分析了一般的再入机动弹道设计方法,即正解法.针对正解法对模型依赖性强和对初值非常敏感的问题,提出了一种基于误差补偿的机动弹道设计方法——反解法.该方法从弹道终端出发反解弹道,将计算结果误差转化为机动点参数误差,再通过关机点或中制导的调整进行误差补偿,从而有利于命中精度和打击效果的实现.仿真结果表明,该方法计算简便,对工程应用有一定的参考价值.     

武汉长江隧道疏散方式选择与观测分析

阐述了隧道疏散的各种方式,说明了武汉长江隧道采用下沉式滑道的纵向疏散方式的原因,对武汉长江隧道疏散系统进行了详细演习测试,并对当前拥挤状态下的通车条件进行了分析,认为只要保持交通通畅,加强管理,隧道下沉式纵向疏散系统可以满足通行客车时的人员疏散安全。     

有限群的极大子群的正规指数

有限群的结构与其子群性质间的关系问题是群论的一个重要研究方向,通过群的极大子群、正规子群、半正规子群、极大子群的正规指数等去研究群的可解性,超可解性、幂零性等,已有一系列结果.应用极小反例方法,利用有限群极大子群的正规指数,得到了一个有限群是π-可解群的充分条件,2个有限群是π-可解群的充分必要条件.     

基于超网络的空战场管制体系建模及评估

当前空战地位提升,战区指挥体制运行,空战场管制系统急需进行重构,以适应新体制、新情况.从管制系统构建的3条基本原则着手,构建了四级空战场管制体系,采用"节点-关系-信息流模体"的方法,对管制系统进行超网络建模.利用超网络理论,选择管制系统的灵活性、高效性和鲁棒性指标,对构建的战区管制系统进行评估.算例表明,该方法能够很好地刻画管制体系信息流转的层次性、复杂性和对抗性,从而对管制体系的结构和信息机制设计提供合理建议.     

欧盟太空安全政策与发展动向

欧盟具有相对成熟的太空技术,处于国际太空力量发展的第一梯队,其太空安全政策是在基于维护太空自主权的前提下,寻求太空与安全防务政策的统一,从而实现共同外交和安全政策的整体目标,目前已取得了较大进展。本文认为,从未来发展来看,面对有限的太空资源优势和脆弱的太空环境,欧盟将会继续利用其技术优势和集体力量,努力保障其太空关键基础设施安全和太空自主权,同时进一步将太空安全重点向军事竞争领域聚焦,将其作为拓展战场空间维度的重要途径。     

交通场景行人穿越检测方法进展研究

随着自动驾驶和计算机视觉技术的飞速发展,人们对交通安全的重视程度越来越高。其中,交通场景中行人穿越检测问题是研究的热点与难点之一。对行人穿越检测这一领域进行了综合评述,并对未来研究进行了展望。按照行人试图穿越、正在穿越及穿越预测三个阶段进行分析,首先分析了基于行人姿态穿越意图的研究进展(试图穿越),包括人体姿态、数据驱动和高斯动力学模型三个方面;其次讨论了基于轨迹跟踪的穿越行为检测方法(正在穿越);然后概括了基于轨迹预测的行人穿越检测方法(穿越预测);最后总结了现阶段比较新颖的多传感融合、车路协同、车联网等研究角度,并对未来该领域需重点发展的方向提出建议。     

履带车辆转向性能指标分析及实验研究

转向性能是评价履带车辆机动性的重要指标之一.文中针对转向角速度、转向半径和转向消耗功率3个指标,分别在不考虑履带滑转滑移的理想条件下和考虑履带滑转滑移的实际情况下,对履带车辆的转向性能进行了讨论和分析,对2种条件下履带车辆的转向性能的变化进行了比较.为了对履带车辆在转向过程中履带的滑转和滑移程度进行定量的分析,定义了履带的滑转和滑移系数.通过实车实验,对分析结果进行了验证.     

中继卫星调度问题的CSP模型

中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。     

N2-COIL的氧发生器水汽诊断

在氧碘化学激光(COIL)系统中,水汽是影响激光器输出功率的最重要原因之一,因此测控氧发生器(SOG)出口气流中的水汽含量非常重要.文中利用吸收和发射光谱法对方管式射流氮气氧碘化学激光器(N2-COIL)的氧发生器分别进行了水汽含量测量.测量结果显示,在保持氯气流量一定的前提下,该发生器正常工作状态下水汽百分含量小于9%,且随氧发生器的总压的增加而减小,随氮气流量的增大而增加.该结果表明,气体流速是引起水含量变化的主要原因.     

基于贝叶斯网络的空中目标意图识别方法

针对空中目标意图识别问题,对防空作战中的战场事件进行了分类定义,根据事件之间的关联关系,提出了基于贝叶斯网络的空中目标意图识别方法,在此基础上,给出了网络模型的构建和推理方法,最后以一个示例说明了方法的有效性。